- дефинициальная эквивалентность
- definitional equivalence мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… … Большая биографическая энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
СМИРНОВ — Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р на Волгоградской обл.), сов. философ и парт. деятель, чл. корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского… … Философская энциклопедия
СМИРНОВ Владимир Александрович — (2.03.1931, Москва 12.02.1996, Москва) логик и философ, д р философских наук, проф. Окончил философский ф т МГУ (1954) и аспирантуру того же ф та по кафедре логики (1957). С 1961 г. в Ин те философии АН СССР (РАН), с 1988 г. руководитель… … Русская Философия. Энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия